$\forall$$a$, $b$, $c$:$\mathbb{Z}$. ($a$ $\leq$ imax($b$;$c$)) $\Leftarrow\!\Rightarrow$ (($a$ $\leq$ $b$) $\vee$ ($a$ $\leq$ $c$))